SPIRE: A Methodology for Sequential to Parallel Intermediate Representation Extension Dounia Khaldi, Pierre Jouvelot, Franc¸ois Irigoin and Corinne Ancourt CRI, Math´ematiques et syst`emes, MINES ParisTech 35 rue Saint

Source URL: www.cri.ensmp.fr

• Parallel computing
• OpenMP
• Task parallelism
• Cilk
• Barrier
• Unified Parallel C
• Automatic parallelization
• Data parallelism
• Parallel programming model
• Computing
• Concurrent computing
• Computer programming

Dependent Vector Types for Data Structuring in Multirate FaustI Pierre Jouvelota,∗, Yann Orlareyb a CRI, Math´ematiques et syst`emes, MINES ParisTech,

Source URL: www.cri.ensmp.fr

• Electromagnetism
• FAUST
• Denotational semantics
• SIGNAL
• Digital-to-analog converter
• Clock signal
• Feedback
• Digital signal processing
• Electronic engineering
• Electronics

OpenMP and Work-Streaming Compilation in GCC Antoniu Pop Centre de recherche en informatique, MINES ParisTech GROW’11 — 3 April 2011, Chamonix, France

Source URL: www.cri.ensmp.fr

• Parallel computing
• Application programming interfaces
• Fortran
• OpenMP
• Compilers
• Lis
• Fast Fourier transform
• Thread
• Task parallelism
• Software
• Computing
• Computer programming

A Proposal for lastprivate Clause on OpenMP task Pragma Antoniu Pop and Sebastian Pop Centre de Recherche en Informatique, MINES ParisTech, France

Source URL: www.cri.ensmp.fr

• Software engineering
• OpenMP
• Stream processing
• Pipeline
• Task parallelism
• Thread
• Compiler optimization
• SPMD
• CPU cache
• Computing
• Computer programming
• Parallel computing

Claude TADONKI Mines ParisTech – Paris/France Seminar at Universidad Santiago de Chile August 6, 2014 SANTIAGO - CHILE

Source URL: www.cri.ensmp.fr

• Streaming SIMD Extensions
• SIMD
• Advanced Vector Extensions
• X86
• SSE2
• MMX
• Instruction set
• SSE3
• Processor register
• Computer architecture
• Computing
• X86 instructions

Dedukti: a Universal Proof Checker Ronan Saillard MINES ParisTech Context The success of formal methods both as tools of practical importance and as objects of intellectual curiosity, has spaw

Source URL: www.cri.ensmp.fr

• Theoretical computer science
• Lambda calculus
• Proof theory
• Functional languages
• Dependently typed programming
• Higher-order abstract syntax
• Dependent type
• Judgment
• Proof assistant
• Programming language theory
• Type theory
• Mathematical logic

LinPy Documentation Release 1.0 MINES ParisTech August 25, 2014

Source URL: www.cri.ensmp.fr

• SymPy
• Polyhedron
• Matplotlib
• Software
• Mathematical software
• Application software

Preservation of Lyapunov-Theoretic Proofs: From Real to Floating-Point Arithmetic Vivien Maisonneuve, Olivier Hermant and François Irigoin MINES ParisTech, France Email: {vivien.maisonneuve, olivier.hermant, francois.ir

Source URL: www.cri.ensmp.fr

• Mathematics
• Computing
• Mathematical proofs
• Dc
• cross-platform software
• Double-precision floating-point format
• Arbitrary-precision arithmetic
• Floating point
• Mathematical fallacy
• Computer arithmetic
• Data types
• Computer architecture

Dedukti : un v´ erificateur de preuves universel Ronan Saillard Centre de recherche en informatique - MINES ParisTech

Source URL: www.cri.ensmp.fr

Faustine: a Vector Faust Interpreter Test Bed for Multimedia Signal Processing System Description? Karim Barkati, Haisheng Wang, and Pierre Jouvelot MINES ParisTech, France

Source URL: feever.fr

• Digital signal processing
• Signal processing
• Vectors
• FAUST
• OCaml
• Fast Fourier transform
• Discrete Fourier transform
• Scheme
• Signal
• Algebra
• Software
• Computing